821. agent systems-Argumentation in multi
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Intelligent agents (Computer software) ; Congresses. ; Logic ; Congresses. ;
822. agent systems-Computational logic in multi
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer logic ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
823. agent systems-Computational logic in multi
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer logic ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
824. agent systems-Computational logic in multi
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer logic ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ; Mehragentensystem. ; swd. ; Computational logic. ; swd. ;
825. based program synthesis and transformation :-Logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic programming ; Congresses ;
826. classical logics-Interval/probabilistic uncertainty and non
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Uncertainty (Information theory) ; Congresses. ; Nonclassical mathematical logic ; Congresses. ;
827. classical logics, model theory, and computability-Non
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Nonclassical mathematical logic ; Congresses. ; Model theory ; Congresses. ; Computable functions ; Congresses. ;
828. logic , Algebra and computation:International summer school diruted by F.L.Baver ...]et gl.[
پدیدآورنده : edited by frledrich l.Baver
موضوع : logic progrommig - congersses,Alxbrn - congresses,computational complexity - congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
829. Nonclassical logics and information processing : international workshop, Berlin , November 9-10, 1990 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Artificial intelligence-- Congresses
رده :
QA
76
.
5
.
N664
1992
830. nonmonotonic and inductive logic:second international workshop,Reinhardbrunn castle,Germany,December 2-6,1991:proceedings/
پدیدآورنده : Brewka,Gethard;Jantke,K.P;Schmitt,P.H.1948
موضوع : Logic programming-congresses
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
831. numeric computation-Symbolic
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computable functions ; Data processing ; Congresses. ; Numerical analysis ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
832. programmable logic and applications :-Field
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Field programmable gate arrays ; Congresses ; Programmable array logic ; Congresses ;
833. 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
پدیدآورنده : edited by W. Bibel and R. Kowalski
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
87
834. 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
پدیدآورنده : edited by W. Bibel and R. Kowalski
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
87
835. 30th IEEE International Symposium on Multiple-Valued Logic )ISMVL 2000( : proceedings
پدیدآورنده : sponsored by Oregon Center for Advanced Technology Education...]et al[, supported by School of Engineering and Applied Science, Portland State University...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Many-valued logic,Congresses ، Switching theory
رده :
QA
9
.
45
.
I58
2000
836. 18th International Conference of the North American Fuzzy Information Processing Society-NAFIP June 10-12, 1999, New York, U.S.A.
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Fuzzy Logic - Congresses
رده :
QA9
,.
46
.
F
9
1999
R
837. 9th International Conference on Automated Deduction :
پدیدآورنده : E. Lusk, R. Overbeek (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automatic theorem proving-- Congresses.,Logic, Symbolic and mathematical-- Congresses.
رده :
QA76
.
9
.
A96
I57
1988
838. 8th International Conference on Automated Deduction
پدیدآورنده : edited by Jپ rg H. Siekmann
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Automatic theorem proving -- Congresses,Logic, Symbolic and mathematical -- Congresses
رده :
QA
76
.
9
.
A96
,
I57
1986
839. 8th International Conference on Automated Deduction :
پدیدآورنده : edited by Jörg H. Siekmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automatic theorem proving -- Congresses.,Automatic theorem proving.,Logic, Symbolic and mathematical -- Congresses.
840. 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988: Proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
9
.
A96
.
I57
1988
